Computational logic - proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997
- Författare
- (Ed. by Ulrich Berger, Helmut Schwichtenberg.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1999 | Tyskland, Berlin | 444 S. : graph. Darst. 24 cm | 3-540-64589-6 |